/*
 * $QNXLicenseC:
 * Copyright 2007, QNX Software Systems. All Rights Reserved.
 * 
 * You must obtain a written license from and pay applicable license fees to QNX 
 * Software Systems before you may reproduce, modify or distribute this software, 
 * or any work that includes all or part of this software.   Free development 
 * licenses are available for evaluation and non-commercial purposes.  For more 
 * information visit http://licensing.qnx.com or email licensing@qnx.com.
 *  
 * This file may contain contributions from others.  Please review this entire 
 * file for other proprietary rights or license notices, as well as the QNX 
 * Development Suite License Guide at http://licensing.qnx.com/license-guide/ 
 * for other information.
 * $
 */

#include "vmm.h"

void 
vmm_mdestroy(PROCESS *prp) {
	ADDRESS		*adp;
	
	if((prp == NULL) || (prp->pid == SYSMGR_PID)) {
		crash();
	}
	adp = prp->memory;
	if(adp != NULL) {
		pathmgr_object_done(adp->anon);
		cpu_vmm_mdestroy(prp);
		(void)map_fini(&adp->map);
		prp->memory = NULL;
	}
}

__SRCVERSION("vmm_mdestroy.c $Rev: 174147 $");
